Interactive BitVector Program Synthesizer
https://github.com/tarinduj/cs560-project
A final project for CS 560 that uses Z3 to enable users to interactively specify programs by suggesting differentiating inputs and allowing users to choose the correct output.